<html>
<body>
Replaces the integer shift operator <code>&lt;&lt;</code>
with an equivalent multiplication expression.
</body>
</html>
